21. Algebraic and logic programming : second international conference, Nancy, France, October 1-3, 1990 : proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic programming-- Congresses,، Algebraic logic-- Congresses
رده :
QA
76
.
6
.
A4584
1990
22. Algebraic and logic programming: 5th International Conference, ALP'96, Aachen, Germany, September 25-27, 1996 : proceedings
پدیدآورنده: Michael Hanus, Mario Rodriguez Artalejo )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic programming,Congresses ، Algebraic logic
رده :
QA
76
.
L28
Vol
.
1139
23. Algebraic and logic programming : 4th International Conference, ALP'94, Madrid, Spain, September 14-16, 1994 : proceedings
پدیدآورنده: Giorgio Levi, Mario Rodriguez Artalejo )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic programming,Congresses ، Algebraic logic
رده :
QA
76
.
L28
Vol
.
850
24. Algebraic and logic programming : 6th International Joint Conference, ALP'97-HOA'97, Southampton, UK, September 3-5, 1997 : proceedings
پدیدآورنده: Michael Hanus, Jan Heering, Karl Meinke, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic programming,Congresses ، Algebraic logic,Congresses ، Rewriting systems )Computer science(
رده :
QA
76
.
L28
Vol
.
1298
25. Algebraic and logic programming : third international conference, Volterra, Italy, September 2-4, 1992 : proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic programming-- Congresses,، Algebraic logic-- Congresses
رده :
QA
76
.
6
.
A45842
1992
26. Algebraic and proof-theoretic aspects of non-classical logics
پدیدآورنده: / Stefano Aguzzoli ... [et al.] (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Mundici, Daniele,--1946,Nonclassical mathematical logic.
رده :
QA
,
9
.
4
,.
A44
,
2007
27. Algebraic coding theory and information theory
پدیدآورنده: A. Ashikhmin, A. Barg, editors
کتابخانه: کتابخانه مرکزی دانشگاه یاسوج (محمد بهمن بیگی) (کهگیلویه و بویراحمد)
موضوع: Information theory in mathematics, Congresses,Coding theory, Congresses,Algebraic logic, Congresses
رده :
003
,.
54
,.
A44
,
2005
28. Algebraic coding theory and information theory : DIMACS workshop, algebraic coding theory and information theory, December 15-18, 2003, Rutgers University, Piscataway, New Jersey
پدیدآورنده: A. Ashikhmin, A. Barg, editors
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: Congresses ، Information theory in mathematics,Congresses ، Coding theory,Congresses ، Algebraic logic
رده :
QA
10
.
4
.
A44
2005
29. Algebraic coding theory and information theory: DIMACS workshop, algebraic coding theory and information theory, December 15-18, 2003, Rutgers University, Piscataway, New Jersey
پدیدآورنده: A. Ashikhmin, A. Barg, editors
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: Congresses ، Information theory in mathematics,Congresses ، Coding theory,Congresses ، Algebraic logic
رده :
QA
10
.
4
.
A44
30. Algebraic coding theory and information theory : DIMACS workshop, algebraic coding theory and information theory, December 15-18, 2003, Rutgers University, Piscataway, New Jersey
پدیدآورنده: A. Ashikhmin, A. Barg, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Information theory in mathematics,Congresses ، Coding theory,Congresses ، Algebraic logic
رده :
QA
10
.
4
.
D55
2003
31. Algebraic foundations in computer science :
پدیدآورنده: edited by Werner Kuich, George Rahonis.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science-- Mathematics.
رده :
QA76
.
9
.
M35
A44
2011
32. Algebraic informatics :
پدیدآورنده: Miroslav Ćirić, Manfred Droste, Jean-Éric Pin (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra-- Data processing, Congresses.,Programming languages (Electronic computers)-- Semantics, Congresses.,Algebra-- Data processing.,Programming languages (Electronic computers)-- Semantics.
رده :
QA76
.
7
33. Algebraic logic
پدیدآورنده: edited by C.H.Bergaman.R.D.Maddux
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: Algebraic Logic,Computer science
رده :
QA
10
.
A5
1990
34. Algebraic logic
پدیدآورنده: edited by C.H.Bergaman.R.D.Maddux
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: Algebraic Logic,Computer science
رده :
QA
10
.
A5
1990
35. Algebraic logic and universal algebra in computer science : Conference, Ames, Iowa, USA, June 1-4, 1988 : Proceedings
پدیدآورنده: C.H. Bergman, R.D. Maddux, D.L. Pigozzi )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Algebraic logic,Congresses ، Algebra, Universal
رده :
QA
76
.
L28
Vol
.
425
36. Applied Abstract Algebra
پدیدآورنده: by Rudolf Lidl, Günter Pilz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra.,Mathematics.
37. Asynchronous sequential machine design and analysis
پدیدآورنده: / Richard F. Tinder
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Asynchronous circuits, Mathematical models,Sequential circuits, Mathematical models,Sequential machine theory, Mathematical models,Asynchronous,Sequential,Sequencers,Logic,Machines,Digital,Self-timed,Arbiters
رده :
E-BOOK
38. Automata, Languages and Programming :
پدیدآورنده: edited by Josep Diaz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer programming.,Computer science.,Computers.
39. Automata, languages and programming :
پدیدآورنده: J. Leach Albert, B. Monien, M. Rodríguez Artalejo (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Machine theory -- Congresses.,Machine theory.
رده :
QA267
.
J543
1991
